#include <picolibc.h>

#ifndef __x86_64
#include "memchr-32.S"
#endif
